- automatic theoreme-proving
- Лингвистика: автоматическое доказательство теорем
Универсальный англо-русский словарь. Академик.ру. 2011.
automatic theoreme-proving
Смотреть что такое "automatic theoreme-proving" в других словарях:
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
